Asynchronous functional parallel programs
Identifieur interne : 00DE53 ( Main/Exploration ); précédent : 00DE52; suivant : 00DE54Asynchronous functional parallel programs
Auteurs : Jacques Julliand [France] ; Guy-René Perrin [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Our purpose is to make a contribution to parallel programming in an asynchronous context, according to distributed architectures. The main difficulty in inventing parallel programs is to specify the way parallel components do cooperate. These features have to be progressively derived as systematically as possible from abstract specifications. The challenge is then to introduce relevant expression tools and a convenient parallel modeling for such developments. Programming with equations seems to be a very convenient way for that purpose. The aim of this paper is to associate an asynchronous parallel interpretation with fix-point systems, in which communications are defined.
Url:
DOI: 10.1007/3-540-53504-7_93
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002033
- to stream Istex, to step Curation: 002007
- to stream Istex, to step Checkpoint: 003259
- to stream Main, to step Merge: 00E733
- to stream Main, to step Curation: 00DE53
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Asynchronous functional parallel programs</title><author><name sortKey="Julliand, Jacques" sort="Julliand, Jacques" uniqKey="Julliand J" first="Jacques" last="Julliand">Jacques Julliand</name></author><author><name sortKey="Perrin, Guy Rene" sort="Perrin, Guy Rene" uniqKey="Perrin G" first="Guy-René" last="Perrin">Guy-René Perrin</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:8B757F956B4F5C8995C46D32438E9460E76034DA</idno><date when="1990" year="1990">1990</date><idno type="doi">10.1007/3-540-53504-7_93</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-C5M8J7XT-M/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002033</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002033</idno><idno type="wicri:Area/Istex/Curation">002007</idno><idno type="wicri:Area/Istex/Checkpoint">003259</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">003259</idno><idno type="wicri:doubleKey">0302-9743:1990:Julliand J:asynchronous:functional:parallel</idno><idno type="wicri:Area/Main/Merge">00E733</idno><idno type="wicri:Area/Main/Curation">00DE53</idno><idno type="wicri:Area/Main/Exploration">00DE53</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Asynchronous functional parallel programs</title><author><name sortKey="Julliand, Jacques" sort="Julliand, Jacques" uniqKey="Julliand J" first="Jacques" last="Julliand">Jacques Julliand</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>Laboratoire d'Informatique, URA CNRS 822, and Centre de Recherche en Informatique de Nancy, Université de Franche-Comté, 25030, Besançon cédex</wicri:regionArea><placeName><region type="region" nuts="2">Bourgogne-Franche-Comté</region><region type="old region" nuts="2">Franche-Comté</region><settlement type="city">Besançon cédex</settlement></placeName><orgName type="university">Université de Franche-Comté</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Perrin, Guy Rene" sort="Perrin, Guy Rene" uniqKey="Perrin G" first="Guy-René" last="Perrin">Guy-René Perrin</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>Laboratoire d'Informatique, URA CNRS 822, and Centre de Recherche en Informatique de Nancy, Université de Franche-Comté, 25030, Besançon cédex</wicri:regionArea><placeName><region type="region" nuts="2">Bourgogne-Franche-Comté</region><region type="old region" nuts="2">Franche-Comté</region><settlement type="city">Besançon cédex</settlement></placeName><orgName type="university">Université de Franche-Comté</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">Lect Notes Comput Sci</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Our purpose is to make a contribution to parallel programming in an asynchronous context, according to distributed architectures. The main difficulty in inventing parallel programs is to specify the way parallel components do cooperate. These features have to be progressively derived as systematically as possible from abstract specifications. The challenge is then to introduce relevant expression tools and a convenient parallel modeling for such developments. Programming with equations seems to be a very convenient way for that purpose. The aim of this paper is to associate an asynchronous parallel interpretation with fix-point systems, in which communications are defined.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Bourgogne-Franche-Comté</li><li>Franche-Comté</li></region><settlement><li>Besançon cédex</li></settlement><orgName><li>Université de Franche-Comté</li></orgName></list><tree><country name="France"><region name="Bourgogne-Franche-Comté"><name sortKey="Julliand, Jacques" sort="Julliand, Jacques" uniqKey="Julliand J" first="Jacques" last="Julliand">Jacques Julliand</name></region><name sortKey="Julliand, Jacques" sort="Julliand, Jacques" uniqKey="Julliand J" first="Jacques" last="Julliand">Jacques Julliand</name><name sortKey="Perrin, Guy Rene" sort="Perrin, Guy Rene" uniqKey="Perrin G" first="Guy-René" last="Perrin">Guy-René Perrin</name><name sortKey="Perrin, Guy Rene" sort="Perrin, Guy Rene" uniqKey="Perrin G" first="Guy-René" last="Perrin">Guy-René Perrin</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00DE53 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00DE53 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:8B757F956B4F5C8995C46D32438E9460E76034DA
|texte= Asynchronous functional parallel programs
}}
| This area was generated with Dilib version V0.6.33. |  |